Max-product fuzzy context-free grammars and pushdown automata 上下無關文法與下推自動機
A formal definition of proposition formulae was provided by context-free grammar, and the conversion from proposition formulae to polynomials was solved automatically 摘要該文將命題邏輯的定理證明轉換為多項式方程的求解問題,從而提出了一種基于非子句的代數化方法。
As a member of the team researching and developing the new generation of atc ( air traffic control ) system ( named mrd2k-jh ) for chinese air force, the author devotes his energies in the work of fdp ( flight data process ) . this thesis first introduces what is atc system and the present status of atc systems in china, then sets forth the design and structure of the new mrd2k atc system, based on the research and adjustment to the actual environment, essential technical points of fdp are presented in detail : the interface of traffic telegram and decoding algorithm : in this part, the application interface of eicon x . 25 card for mrd2k is introduced, and then the realization of a decoding algorithm based on context-free grammar is described in detail, which replaces the traditional method that decoding each telegram using a corresponding subprogram 本文基于我國新一代軍航空中交通管制(airtrafficcontrol)系統(tǒng)mrd2k-jh的研制開發(fā)過程,首先介紹了空中交通管制系統(tǒng)的概況和現狀,然后從建立空管自動化系統(tǒng)的角度闡述了mrd2k的詳細設計和系統(tǒng)結構,接著結合作者參與的系統(tǒng)重要部分飛行數據處理(flightdataprocess)的工作,在進行了大量深入研究和與實際環(huán)境相切合的基礎上,針對其中的諸多技術細節(jié),提出了經實際驗證富有效用的解決方案。
First, the paper researches the format and semantic features of iso apt in detail, next, applies regular expression to describe the definition of apt ’ s tokens and uses context-free grammar to describe apt ’ s syntax rules, last, designs the intermediate code format which keeps on the source code semantic and designs a complete module to check lexical and syntax errors of nc code by using modern compiling techniques 在代碼預處理技術方面,詳細研究了標準數控代碼語言的格式和語義并采用現代編譯技術中的正則表達式和上下文無關文法分別描述了標準數控代碼語言的記號定義和語法結構定義;設計了保持源代碼語義的中間標準數控代碼格式,在此基礎上,設計并構建了數控代碼的詞法和語法檢查模塊。